<html>
<body>
Detects unreachable choice branches. <br> <br>
A branch is unreachable if it is preceded by a branch that matches empty sequences.
</body>
</html>